Programming language specification - PDFSEARCH.IO - Document Search Engine

Programming language specification
Results: 252

#	Item
121	ACSL: ANSI/ISO C Specification Language Version 1.6 ACSL: ANSI/ISO C Specication Language Version 1.6 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Data types C programming language Primitive types C++ Pointer C ANSI/ISO C Specification Language Pascal Logic programming Software engineering Computing Computer programming
122	ACSL Mini-Tutorial Virgile Prevosto1 1 CEA LIST, Software Security Laboratory, Saclay, F-91191 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 C programming language C++ ANSI/ISO C Specification Language Data types Procedural programming languages Pointer ALGOL 68 C++ classes Reference Software engineering Computer programming Computing
123	ACSL Version 1.9 Implementation in Sodium[removed] ACSL: ANSI/ISO C Specification Language Version 1.9 – Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C++ C ANSI/ISO C Specification Language Dangling pointer Software engineering Computing Computer programming
124	E-ACSL User Manual E-ACSL Plug-in Release[removed]compatible with Frama-C Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-09-15 10:05:34 Computer programming Static program analysis Plug-in ANSI/ISO C Specification Language Software Computing Frama-C
125	. Goal of this document: Template for OpenOffice.org software specifications Intended readership: Specification authors, specification reviewers (Development, Quality Assurance, User Experience Documentation) Add to Reading List Source URL: www.openoffice.org Language: English - Date: 2014-04-19 19:39:50 Markup languages GUI widget Opera User interface HTML File format Open Programming Language Software Computing Portable software
126	ACSL Version 1.9 Implementation in Sodium[removed] ACSL: ANSI/ISO C Specification Language Version 1.9 – Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C++ C ANSI/ISO C Specification Language Dangling pointer Software engineering Computing Computer programming
127	E-ACSL Executable ANSI/ISO C Specification Language Version 1.8 E-ACSL Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:16 C programming language Procedural programming languages ANSI/ISO C Specification Language C++ C Pointer Predicate Software engineering Computing Logic
128	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 1 Concordia University, Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.eecs.ucf.edu Language: English - Date: 2007-01-29 15:18:04 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science
129	The Cecil Language Specification and Rationale Version 3.2 Craig Chambers and the Cecil Group Department of Computer Science and Engineering University of Washington Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2006-03-23 19:43:32 Computing Cecil Type system Prototype-based programming Inheritance Subtype polymorphism Class C++ Multiple inheritance Software engineering Computer programming Object-oriented programming
130	Attachment 2 Queensland Public Sector Equality of Employment Opportunity (EEO) Census Data Specification/Coding Standard Issued by the Public Service Commission (PSC), February 2011 Add to Reading List Source URL: psc.qld.gov.au Language: English - Date: 2014-08-27 00:59:32 Software engineering Yes and no Disability Question Programming language theory Computing C Cross-platform software

UPDATE